- logique conditionnelle
- сущ.
выч. условная логика
Французско-русский универсальный словарь. 2013.
Французско-русский универсальный словарь. 2013.
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
Logique de Hoare — La logique de Hoare, parfois appelée logique de Floyd Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé An axiomatic basis for computer programming[1]. La méthode de… … Wikipédia en Français
Coproduction conditionnelle — Coproduction conditionnée La Coproduction conditionnée (pratîtyasamutpada en sanskrit, prononcer « prətī:tyə səmŭtpα:də », paticcasamuppāda en pāḷi) est le concept bouddhique de conditionnalité, de dépendance, de réciprocité. D après… … Wikipédia en Français
Induction logique — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Induction (logique) — Pour les articles homonymes, voir Induction. L induction est historiquement le nom pour un genre de raisonnement qui se propose de chercher des lois générales à partir de l observation de faits particuliers, sur une base probabiliste. L idée de… … Wikipédia en Français
Contrefactualité (logique) — Contrafactualité (philosophie) Pour les articles homonymes, voir Contrafactualité. La contrafactualité (ou contrefactualité) est une forme grammaticale qui renvoie, en philosophie, à la réflexion sur les événements qui ne se sont pas réalisés… … Wikipédia en Français
Shahid Rahman — (né en 1956 à New Delhi) est un mathématicien qui possède la double nationalité argentine et allemande, professeur de logique et d épistémologie à l Université Lille III. Il est notamment connu pour son développement de la logique du dialogue.… … Wikipédia en Français
CPU — Processeur « CPU » redirige ici. Pour les autres significations, voir CPU (homonymie) … Wikipédia en Français
Calculateur numérique — Processeur « CPU » redirige ici. Pour les autres significations, voir CPU (homonymie) … Wikipédia en Français
Central Processing Unit — Processeur « CPU » redirige ici. Pour les autres significations, voir CPU (homonymie) … Wikipédia en Français
Central processing unit — Processeur « CPU » redirige ici. Pour les autres significations, voir CPU (homonymie) … Wikipédia en Français